# LaTeX2HTML 2022 (Released January 1, 2022)
# Associate labels original text with physical files.


$key = q/cite_aho:awkb/;
$external_labels{$key} = "$URL/" . q|node24_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_aurbach:idxtex/;
$external_labels{$key} = "$URL/" . q|node24_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_beach:index/;
$external_labels{$key} = "$URL/" . q|node24_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_bentley:index/;
$external_labels{$key} = "$URL/" . q|node24_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_brandin:war/;
$external_labels{$key} = "$URL/" . q|node24_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_chicago:style/;
$external_labels{$key} = "$URL/" . q|node24_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_frame:1.0/;
$external_labels{$key} = "$URL/" . q|node24_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_hutchins:dm/;
$external_labels{$key} = "$URL/" . q|node24_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_knuth:lp/;
$external_labels{$key} = "$URL/" . q|node24_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_knuth:pgm/;
$external_labels{$key} = "$URL/" . q|node24_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_knuth:tex/;
$external_labels{$key} = "$URL/" . q|node24_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_lamport:latex/;
$external_labels{$key} = "$URL/" . q|node24_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_mcmahon:sed/;
$external_labels{$key} = "$URL/" . q|node24_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_ms:word/;
$external_labels{$key} = "$URL/" . q|node24_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_ossanna:nroff/;
$external_labels{$key} = "$URL/" . q|node24_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_phc:aip/;
$external_labels{$key} = "$URL/" . q|node24_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_phc:int/;
$external_labels{$key} = "$URL/" . q|node24_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_reid:phd/;
$external_labels{$key} = "$URL/" . q|node24_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_seybold/;
$external_labels{$key} = "$URL/" . q|node24_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_shneiderman:dm/;
$external_labels{$key} = "$URL/" . q|node24_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_stallman:gnu/;
$external_labels{$key} = "$URL/" . q|node24_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_teitelman:cedar/;
$external_labels{$key} = "$URL/" . q|node24_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_traub:ibc/;
$external_labels{$key} = "$URL/" . q|node24_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_ventura:1.1/;
$external_labels{$key} = "$URL/" . q|node24_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_xerox:star/;
$external_labels{$key} = "$URL/" . q|node24_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_yank:eb/;
$external_labels{$key} = "$URL/" . q|node24_ct.html|; 
$noresave{$key} = "$nosave";

1;


# LaTeX2HTML 2022 (Released January 1, 2022)
# labels from external_latex_labels array.


1;

